void main(void) { void *x = malloc(512); }
